home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test5.gl < prev    next >
Text File  |  1991-06-18  |  240b  |  17 lines
  1. Basetype E;
  2.  
  3. Atom
  4.    nor :- E & E => E;
  5.  
  6. Def
  7.    rsff :- E & E => E & E;
  8.    rsff [r,s] = [q,q']
  9.       where
  10.      q = nor [q',r];
  11.      q' = nor [q,s];
  12.       endwhere;
  13.  
  14. Def
  15.    double_rsff :- E & E => E & E;
  16.    double_rsff [a,b] = rsff (rsff [a,b]);
  17.